Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
41	Eective Meta-programming in Declarative Languages Antony Francis Bowers A thesis submitted to the University of Bristol in accordance with the requirements of the degree of Doctor of Philosophy in the Faculty of Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Computer programming Computing Functional languages Programming paradigms Prolog Interpreter Escher Programming language Declarative programming APL
42	RWset: Attacking Path Explosion in Constraint-Based Test Generation Cristian Cadar, Peter Boonstoppel, Dawson Engler TACAS 2008, Budapest, Hungary ETAPS 2008 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:46 Software Computing Application software Functional languages Cat Symbolic execution ARG2 ARG1 R
43	Rethinking Scala Macros Work in progress, not available yet Eugene Burmako École Polytechnique Fédérale de Lausanne http://scalamacros.org/ Add to Reading List Source URL: scalamacros.org Language: English - Date: 2016-08-18 07:56:24 Software Computing Functional languages Object-oriented programming languages Macro Source code Concurrent programming languages Programming paradigms Palladium Scala Make Metaprogramming
44	Designing a verifying compiler: Lessons learned from developing Whiley Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2015-11-05 20:25:54 Software engineering Computer programming Computing Data types Functional languages Type theory Procedural programming languages Whiley C++ Const Recursion Java bytecode
45	Overview Problem Solving, Programming, and Calculation Basic concepts of functional programming: computation by calculation, values, expressions, types, declarations Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2015-04-12 17:46:16 Software engineering Computer programming Functional languages Programming idioms Recursion Theoretical computer science Functional programming Monad Lisp F Sharp Equation solving Exponentiation
46	Scala Macros Eugene Burmako, Denys Shabalin Martin Odersky Term generation def specialized[T: ClassTag](code: => Any) = macro ... def createArray[T: ClassTag](size: Int, e Add to Reading List Source URL: scalamacros.org Language: English - Date: 2016-08-18 07:56:24 Software engineering Computing Computer programming Concurrent programming languages Functional languages Object-oriented programming languages Functional programming Procedural programming languages Scala Macro Nim Type class
47	Advances in Programming Languages APL10: State Transformers Ian Stark School of Informatics The University of Edinburgh Thursday 11 February Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-11 05:50:59 Software engineering Computer programming Declarative programming Functional programming Functional languages Monad Data types Type class Haskell Entry point Computation Ur
48	White Paper Content Management Mobile Computing Web Services Enterprise Transaction Systems XML Databases Contents Add to Reading List Source URL: web.archive.org Language: English Computing Data Data management Markup languages Functional languages Data modeling XML database Query language Database XQuery EXist Tamino
49	Implementing a Bibliography Processor in Scheme Jean-Michel Hufflen LIFC (FRE CNRSUniversity of Franche-Comté 16, route de GrayBESANÇON CEDEX Add to Reading List Source URL: www.deinprogramm.de Language: English - Date: 2005-10-09 10:53:55 Software engineering Software Computer programming Functional programming Subroutines BibTeX Functional languages Scheme LaTeX Eval Parsing Function composition
50	From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-08-23 01:56:39 Software engineering Computer programming Computing Functional languages Evaluation strategy Computability theory Lambda calculus Theoretical computer science Lazy evaluation Functional programming ALGOL 68 Racket

UPDATE